\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Mathematical Models and Algorithms}{17}{chapter.3}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{loa}{\addvspace {10\p@ }}
\newlabel{chap:mathematical_models}{{3}{17}{Mathematical Models and Algorithms}{chapter.3}{}}
\newlabel{chap:mathematical_models@cref}{{[chapter][3][]3}{[1][17][]17}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Introduction}{17}{section.3.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Contextual Bandit Framework for Tool Selection}{17}{section.3.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}Problem Formulation}{17}{subsection.3.2.1}\protected@file@percent }
\newlabel{def:contextual_bandit}{{3.1}{17}{Contextual Tool Selection Bandit}{theorem.3.1}{}}
\newlabel{def:contextual_bandit@cref}{{[theorem][1][3]3.1}{[1][17][]17}{}{}{}}
\newlabel{def:context_features}{{3.2}{17}{Context Feature Extraction}{theorem.3.2}{}}
\newlabel{def:context_features@cref}{{[theorem][2][3]3.2}{[1][17][]17}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}Linear Contextual Bandit Model}{18}{subsection.3.2.2}\protected@file@percent }
\newlabel{ass:linear_effectiveness}{{3.3}{18}{Linear Tool Effectiveness}{theorem.3.3}{}}
\newlabel{ass:linear_effectiveness@cref}{{[theorem][3][3]3.3}{[1][17][]18}{}{}{}}
\newlabel{def:linucb}{{3.4}{18}{LinUCB Algorithm for Tool Selection}{theorem.3.4}{}}
\newlabel{def:linucb@cref}{{[theorem][4][3]3.4}{[1][18][]18}{}{}{}}
\newlabel{thm:linucb_regret}{{3.5}{18}{LinUCB Regret Bound}{theorem.3.5}{}}
\newlabel{thm:linucb_regret@cref}{{[theorem][5][3]3.5}{[1][18][]18}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}Thompson Sampling for Tool Selection}{18}{subsection.3.2.3}\protected@file@percent }
\newlabel{def:bayesian_tool}{{3.6}{18}{Bayesian Tool Effectiveness Model}{theorem.3.6}{}}
\newlabel{def:bayesian_tool@cref}{{[theorem][6][3]3.6}{[1][18][]18}{}{}{}}
\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces Thompson Sampling for Tool Selection}}{18}{algocf.1}\protected@file@percent }
\newlabel{alg:thompson_sampling}{{1}{18}{Thompson Sampling for Tool Selection}{algocf.1}{}}
\newlabel{alg:thompson_sampling@cref}{{[algorithm][1][]1}{[1][18][]18}{}{}{}}
\newlabel{thm:thompson_regret}{{3.7}{18}{Thompson Sampling Regret}{theorem.3.7}{}}
\newlabel{thm:thompson_regret@cref}{{[theorem][7][3]3.7}{[1][18][]18}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Submodular Optimization for Context Selection}{19}{section.3.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Submodular Context Utility}{19}{subsection.3.3.1}\protected@file@percent }
\newlabel{def:context_value}{{3.8}{19}{Context Element Value}{theorem.3.8}{}}
\newlabel{def:context_value@cref}{{[theorem][8][3]3.8}{[1][19][]19}{}{}{}}
\newlabel{def:submodular_context}{{3.9}{19}{Submodular Context Function}{theorem.3.9}{}}
\newlabel{def:submodular_context@cref}{{[theorem][9][3]3.9}{[1][19][]19}{}{}{}}
\newlabel{prop:context_submodular}{{3.10}{19}{Context Function Submodularity}{theorem.3.10}{}}
\newlabel{prop:context_submodular@cref}{{[theorem][10][3]3.10}{[1][19][]19}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Greedy Context Selection Algorithm}{19}{subsection.3.3.2}\protected@file@percent }
\@writefile{loa}{\contentsline {algocf}{\numberline {2}{\ignorespaces Greedy Context Selection}}{19}{algocf.2}\protected@file@percent }
\newlabel{alg:greedy_context}{{2}{19}{Greedy Context Selection Algorithm}{algocf.2}{}}
\newlabel{alg:greedy_context@cref}{{[algorithm][2][]2}{[1][19][]19}{}{}{}}
\newlabel{thm:greedy_context}{{3.11}{19}{Greedy Context Selection Approximation}{theorem.3.11}{}}
\newlabel{thm:greedy_context@cref}{{[theorem][11][3]3.11}{[1][19][]19}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}Dynamic Context Update}{19}{subsection.3.3.3}\protected@file@percent }
\newlabel{def:dynamic_context}{{3.12}{19}{Dynamic Context Update}{theorem.3.12}{}}
\newlabel{def:dynamic_context@cref}{{[theorem][12][3]3.12}{[1][19][]19}{}{}{}}
\@writefile{loa}{\contentsline {algocf}{\numberline {3}{\ignorespaces Online Context Selection}}{20}{algocf.3}\protected@file@percent }
\newlabel{alg:online_context}{{3}{20}{Dynamic Context Update}{algocf.3}{}}
\newlabel{alg:online_context@cref}{{[algorithm][3][]3}{[1][19][]20}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Queueing Models for Concurrency Management}{20}{section.3.4}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}System Model}{20}{subsection.3.4.1}\protected@file@percent }
\newlabel{def:queueing_network}{{3.13}{20}{Queueing Network Model}{theorem.3.13}{}}
\newlabel{def:queueing_network@cref}{{[theorem][13][3]3.13}{[1][20][]20}{}{}{}}
\newlabel{def:service_time}{{3.14}{20}{Service Time Distribution}{theorem.3.14}{}}
\newlabel{def:service_time@cref}{{[theorem][14][3]3.14}{[1][20][]20}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}Performance Analysis}{20}{subsection.3.4.2}\protected@file@percent }
\newlabel{thm:stability_condition}{{3.15}{20}{System Stability Condition}{theorem.3.15}{}}
\newlabel{thm:stability_condition@cref}{{[theorem][15][3]3.15}{[1][20][]20}{}{}{}}
\newlabel{thm:response_time}{{3.16}{20}{Response Time Analysis}{theorem.3.16}{}}
\newlabel{thm:response_time@cref}{{[theorem][16][3]3.16}{[1][20][]20}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}Optimal Concurrency Level}{21}{subsection.3.4.3}\protected@file@percent }
\newlabel{def:concurrency_tradeoff}{{3.17}{21}{Cost-Benefit Trade-off}{theorem.3.17}{}}
\newlabel{def:concurrency_tradeoff@cref}{{[theorem][17][3]3.17}{[1][20][]21}{}{}{}}
\@writefile{loa}{\contentsline {algocf}{\numberline {4}{\ignorespaces Adaptive Concurrency Control}}{21}{algocf.4}\protected@file@percent }
\newlabel{alg:concurrency_control}{{4}{21}{Optimal Concurrency Level}{algocf.4}{}}
\newlabel{alg:concurrency_control@cref}{{[algorithm][4][]4}{[1][21][]21}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Graph-Based Code Understanding}{21}{section.3.5}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}Code Dependency Graph}{21}{subsection.3.5.1}\protected@file@percent }
\newlabel{def:code_graph}{{3.18}{21}{Code Dependency Graph}{theorem.3.18}{}}
\newlabel{def:code_graph@cref}{{[theorem][18][3]3.18}{[1][21][]21}{}{}{}}
\newlabel{def:graph_metrics}{{3.19}{21}{Graph Metrics}{theorem.3.19}{}}
\newlabel{def:graph_metrics@cref}{{[theorem][19][3]3.19}{[1][21][]21}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}Exploration Strategy}{22}{subsection.3.5.2}\protected@file@percent }
\newlabel{def:graph_exploration}{{3.20}{22}{Guided Graph Exploration}{theorem.3.20}{}}
\newlabel{def:graph_exploration@cref}{{[theorem][20][3]3.20}{[1][21][]22}{}{}{}}
\@writefile{loa}{\contentsline {algocf}{\numberline {5}{\ignorespaces Priority-Based Code Exploration}}{22}{algocf.5}\protected@file@percent }
\newlabel{alg:code_exploration}{{5}{22}{Exploration Strategy}{algocf.5}{}}
\newlabel{alg:code_exploration@cref}{{[algorithm][5][]5}{[1][22][]22}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.6}Probabilistic Code Generation Model}{22}{section.3.6}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6.1}Generation Framework}{22}{subsection.3.6.1}\protected@file@percent }
\newlabel{def:constrained_generation}{{3.21}{22}{Constrained Generation Problem}{theorem.3.21}{}}
\newlabel{def:constrained_generation@cref}{{[theorem][21][3]3.21}{[1][22][]22}{}{}{}}
\newlabel{def:quality_decomposition}{{3.22}{22}{Quality Decomposition}{theorem.3.22}{}}
\newlabel{def:quality_decomposition@cref}{{[theorem][22][3]3.22}{[1][22][]22}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6.2}Constrained Decoding}{22}{subsection.3.6.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6.3}Quality Estimation}{22}{subsection.3.6.3}\protected@file@percent }
\newlabel{def:quality_assessment}{{3.23}{22}{Multi-dimensional Quality Assessment}{theorem.3.23}{}}
\newlabel{def:quality_assessment@cref}{{[theorem][23][3]3.23}{[1][22][]22}{}{}{}}
\@writefile{loa}{\contentsline {algocf}{\numberline {6}{\ignorespaces Constrained Beam Search for Code Generation}}{23}{algocf.6}\protected@file@percent }
\newlabel{alg:constrained_beam_search}{{6}{23}{Constrained Decoding}{algocf.6}{}}
\newlabel{alg:constrained_beam_search@cref}{{[algorithm][6][]6}{[1][22][]23}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.7}Risk Assessment and Safety Models}{23}{section.3.7}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7.1}Risk Quantification}{23}{subsection.3.7.1}\protected@file@percent }
\newlabel{def:risk_categories}{{3.24}{23}{Risk Categories}{theorem.3.24}{}}
\newlabel{def:risk_categories@cref}{{[theorem][24][3]3.24}{[1][23][]23}{}{}{}}
\newlabel{def:composite_risk}{{3.25}{23}{Composite Risk Function}{theorem.3.25}{}}
\newlabel{def:composite_risk@cref}{{[theorem][25][3]3.25}{[1][23][]23}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7.2}Risk-Aware Decision Making}{23}{subsection.3.7.2}\protected@file@percent }
\newlabel{def:chance_constrained}{{3.26}{23}{Chance Constrained Optimization}{theorem.3.26}{}}
\newlabel{def:chance_constrained@cref}{{[theorem][26][3]3.26}{[1][23][]23}{}{}{}}
\@writefile{loa}{\contentsline {algocf}{\numberline {7}{\ignorespaces Risk-Aware Action Selection}}{24}{algocf.7}\protected@file@percent }
\newlabel{alg:risk_aware_selection}{{7}{24}{Risk-Aware Decision Making}{algocf.7}{}}
\newlabel{alg:risk_aware_selection@cref}{{[algorithm][7][]7}{[1][23][]24}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.8}Online Learning and Adaptation}{24}{section.3.8}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8.1}Multi-Armed Bandit with Side Information}{24}{subsection.3.8.1}\protected@file@percent }
\newlabel{def:tool_learning}{{3.27}{24}{Tool Performance Learning}{theorem.3.27}{}}
\newlabel{def:tool_learning@cref}{{[theorem][27][3]3.27}{[1][23][]24}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8.2}Adaptive Parameter Tuning}{24}{subsection.3.8.2}\protected@file@percent }
\newlabel{def:online_gradient}{{3.28}{24}{Online Gradient Descent}{theorem.3.28}{}}
\newlabel{def:online_gradient@cref}{{[theorem][28][3]3.28}{[1][24][]24}{}{}{}}
\newlabel{thm:adaptive_convergence}{{3.29}{24}{Convergence of Adaptive Parameters}{theorem.3.29}{}}
\newlabel{thm:adaptive_convergence@cref}{{[theorem][29][3]3.29}{[1][24][]24}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.9}Complexity Analysis}{24}{section.3.9}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.9.1}Time Complexity Results}{24}{subsection.3.9.1}\protected@file@percent }
\newlabel{thm:tool_selection_complexity}{{3.30}{24}{Tool Selection Complexity}{theorem.3.30}{}}
\newlabel{thm:tool_selection_complexity@cref}{{[theorem][30][3]3.30}{[1][24][]24}{}{}{}}
\newlabel{thm:context_selection_complexity}{{3.31}{24}{Context Selection Complexity}{theorem.3.31}{}}
\newlabel{thm:context_selection_complexity@cref}{{[theorem][31][3]3.31}{[1][24][]24}{}{}{}}
\newlabel{thm:exploration_complexity}{{3.32}{25}{Code Exploration Complexity}{theorem.3.32}{}}
\newlabel{thm:exploration_complexity@cref}{{[theorem][32][3]3.32}{[1][24][]25}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.9.2}Space Complexity Results}{25}{subsection.3.9.2}\protected@file@percent }
\newlabel{prop:memory_requirements}{{3.33}{25}{Memory Requirements}{theorem.3.33}{}}
\newlabel{prop:memory_requirements@cref}{{[theorem][33][3]3.33}{[1][25][]25}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.10}Summary}{25}{section.3.10}\protected@file@percent }
\@setckpt{chapters/chapter3_mathematical_models}{
\setcounter{page}{26}
\setcounter{equation}{35}
\setcounter{enumi}{4}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{10}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{AlgoLine}{0}
\setcounter{algocfline}{7}
\setcounter{algocfproc}{7}
\setcounter{algocf}{7}
\setcounter{ALG@line}{0}
\setcounter{ALG@rem}{0}
\setcounter{ALG@nested}{0}
\setcounter{ALG@Lnr}{2}
\setcounter{ALG@blocknr}{10}
\setcounter{ALG@storecount}{0}
\setcounter{ALG@tmpcounter}{0}
\setcounter{lstnumber}{1}
\setcounter{caption@flags}{2}
\setcounter{continuedfloat}{0}
\setcounter{subfigure}{0}
\setcounter{subtable}{0}
\setcounter{LT@tables}{0}
\setcounter{LT@chunks}{0}
\setcounter{tabx@nest}{0}
\setcounter{listtotal}{0}
\setcounter{listcount}{0}
\setcounter{liststart}{0}
\setcounter{liststop}{0}
\setcounter{citecount}{0}
\setcounter{citetotal}{0}
\setcounter{multicitecount}{0}
\setcounter{multicitetotal}{0}
\setcounter{instcount}{1}
\setcounter{maxnames}{3}
\setcounter{minnames}{1}
\setcounter{maxitems}{3}
\setcounter{minitems}{1}
\setcounter{citecounter}{0}
\setcounter{maxcitecounter}{0}
\setcounter{savedcitecounter}{0}
\setcounter{uniquelist}{0}
\setcounter{uniquename}{0}
\setcounter{refsection}{0}
\setcounter{refsegment}{0}
\setcounter{maxextratitle}{0}
\setcounter{maxextratitleyear}{0}
\setcounter{maxextraname}{0}
\setcounter{maxextradate}{0}
\setcounter{maxextraalpha}{0}
\setcounter{abbrvpenalty}{50}
\setcounter{highnamepenalty}{50}
\setcounter{lownamepenalty}{25}
\setcounter{maxparens}{3}
\setcounter{parenlevel}{0}
\setcounter{blx@maxsection}{0}
\setcounter{mincomprange}{10}
\setcounter{maxcomprange}{100000}
\setcounter{mincompwidth}{1}
\setcounter{afterword}{0}
\setcounter{savedafterword}{0}
\setcounter{annotator}{0}
\setcounter{savedannotator}{0}
\setcounter{author}{0}
\setcounter{savedauthor}{0}
\setcounter{bookauthor}{0}
\setcounter{savedbookauthor}{0}
\setcounter{commentator}{0}
\setcounter{savedcommentator}{0}
\setcounter{editor}{0}
\setcounter{savededitor}{0}
\setcounter{editora}{0}
\setcounter{savededitora}{0}
\setcounter{editorb}{0}
\setcounter{savededitorb}{0}
\setcounter{editorc}{0}
\setcounter{savededitorc}{0}
\setcounter{foreword}{0}
\setcounter{savedforeword}{0}
\setcounter{holder}{0}
\setcounter{savedholder}{0}
\setcounter{introduction}{0}
\setcounter{savedintroduction}{0}
\setcounter{namea}{0}
\setcounter{savednamea}{0}
\setcounter{nameb}{0}
\setcounter{savednameb}{0}
\setcounter{namec}{0}
\setcounter{savednamec}{0}
\setcounter{translator}{0}
\setcounter{savedtranslator}{0}
\setcounter{shortauthor}{0}
\setcounter{savedshortauthor}{0}
\setcounter{shorteditor}{0}
\setcounter{savedshorteditor}{0}
\setcounter{labelname}{0}
\setcounter{savedlabelname}{0}
\setcounter{institution}{0}
\setcounter{savedinstitution}{0}
\setcounter{lista}{0}
\setcounter{savedlista}{0}
\setcounter{listb}{0}
\setcounter{savedlistb}{0}
\setcounter{listc}{0}
\setcounter{savedlistc}{0}
\setcounter{listd}{0}
\setcounter{savedlistd}{0}
\setcounter{liste}{0}
\setcounter{savedliste}{0}
\setcounter{listf}{0}
\setcounter{savedlistf}{0}
\setcounter{location}{0}
\setcounter{savedlocation}{0}
\setcounter{organization}{0}
\setcounter{savedorganization}{0}
\setcounter{origlocation}{0}
\setcounter{savedoriglocation}{0}
\setcounter{origpublisher}{0}
\setcounter{savedorigpublisher}{0}
\setcounter{publisher}{0}
\setcounter{savedpublisher}{0}
\setcounter{language}{0}
\setcounter{savedlanguage}{0}
\setcounter{origlanguage}{0}
\setcounter{savedoriglanguage}{0}
\setcounter{pageref}{0}
\setcounter{savedpageref}{0}
\setcounter{textcitecount}{0}
\setcounter{textcitetotal}{0}
\setcounter{textcitemaxnames}{0}
\setcounter{biburlbigbreakpenalty}{100}
\setcounter{biburlbreakpenalty}{200}
\setcounter{biburlnumpenalty}{0}
\setcounter{biburlucpenalty}{0}
\setcounter{biburllcpenalty}{0}
\setcounter{smartand}{1}
\setcounter{bbx:relatedcount}{0}
\setcounter{bbx:relatedtotal}{0}
\setcounter{section@level}{0}
\setcounter{Item}{33}
\setcounter{Hfootnote}{0}
\setcounter{Hy@AnnotLevel}{0}
\setcounter{bookmark@seq@number}{86}
\setcounter{mdf@globalstyle@cnt}{0}
\setcounter{mdfcountframes}{0}
\setcounter{mdf@env@i}{0}
\setcounter{mdf@env@ii}{0}
\setcounter{mdf@zref@counter}{4}
\setcounter{@pps}{0}
\setcounter{@ppsavesec}{0}
\setcounter{@ppsaveapp}{0}
\setcounter{theorem}{33}
\setcounter{lstlisting}{0}
}
